logical axiomatization

Translations
axiomatisation logique